Abstracting the template instantiation relation in C++
نویسندگان
چکیده
ing the Template Instantiation Relation in C++ Andrew Sutton, Ryan Holeman, Jonathan I. Maletic Department of Computer Science Kent State University Kent Ohio 44242 {asutton, rholeman, jmaletic}@cs.kent.edu
منابع مشابه
Automatic Template Instantiation in DIGITAL C++
Vol. 10 No. 1 1998 The template facility within the C++ language allows the user to provide a template for a class or function and then apply specific arguments to the template to specify a type or function. The process of applying arguments to a template, referred to as template instantiation, causes specific code to be generated to implement the functions and static data members of the instan...
متن کاملRuntime Template Instantiation for C++
Performance, genericity and flexibility are three valuable qualities for scientific environments that tend to be antagonistic. C++ provides excellent support for both performances and genericity thanks to its support for (class and function) templates. However, a C++ templated library can hardly be qualified as flexible: data of unexpected types cannot enter the system, which hinders user inter...
متن کاملAnalysis Type Lex / Parse Translation Optimizer Back End AST AST
This paper proposes an alternate structure for C++ compilers. Type analysis is removed from the compiler and replaced with a type system library which is treated as source code by the compiler. Type computations are embedded in the intermediate language of the compiler, and partial evaluation is used to drive type analysis and template in-stantiation. By making simple changes to the behavior of...
متن کاملAn Ontological Approach for Identifying Variants: The Cases of Specialization and Template Instantiation
Software is a crucial component in many products and often is a product in itself. Software artifacts are often developed for particular needs. However, identifying software variants is important for increasing reuse, reducing time and costs of development and maintenance, increasing quality and reliability, and improving productivity. We propose a method for utilizing variability mechanisms fr...
متن کاملA Semantic Analysis of C++ Templates
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ supports template specialization, their semantics is quite different from that of parameterized classes. Template specialization provides a Turing-complete sub-language within C++ that executes at compile-time. Programme...
متن کامل